<html>
<head><meta charset="utf-8"><title>chalk#176 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html">chalk#176</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="135470427"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135470427" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135470427">(Oct 09 2018 at 13:45)</a>:</h4>
<p>I was wondering <span class="user-mention" data-user-id="131694">@scalexm</span>  if you wanted to discuss <a href="https://github.com/rust-lang-nursery/chalk/issues/176" target="_blank" title="https://github.com/rust-lang-nursery/chalk/issues/176">chalk#176</a></p>



<a name="135470578"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135470578" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135470578">(Oct 09 2018 at 13:47)</a>:</h4>
<p>yes</p>



<a name="135470839"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135470839" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135470839">(Oct 09 2018 at 13:50)</a>:</h4>
<p><a href="https://appear.in/i-heart-rust" target="_blank" title="https://appear.in/i-heart-rust">https://appear.in/i-heart-rust</a></p>



<a name="135971229"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135971229" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135971229">(Oct 17 2018 at 13:06)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> I've been pondering for a while, but I fear the way I changed the rule regarding implied bounds on assoc types is too restrictive</p>



<a name="135971240"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135971240" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135971240">(Oct 17 2018 at 13:06)</a>:</h4>
<p>here is an example where it is not expressive enough: <a href="https://gist.github.com/rust-play/f5710ea680dabc7ec2b15888a70b83d0" target="_blank" title="https://gist.github.com/rust-play/f5710ea680dabc7ec2b15888a70b83d0">https://gist.github.com/rust-play/f5710ea680dabc7ec2b15888a70b83d0</a></p>



<a name="135971465"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135971465" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135971465">(Oct 17 2018 at 13:10)</a>:</h4>
<p>(for having things back in cache)</p>
<div class="codehilite"><pre><span></span><span class="k">trait</span><span class="w"> </span><span class="n">Foo</span><span class="w"> </span><span class="p">{</span><span class="w"></span>
<span class="w">    </span><span class="k">type</span> <span class="nc">Item</span><span class="o">&lt;</span><span class="p">...</span><span class="o">&gt;</span>: <span class="nc">Bound</span><span class="w"> </span><span class="k">where</span><span class="w"> </span><span class="n">WC</span><span class="p">;</span><span class="w"></span>
<span class="p">}</span><span class="w"></span>

<span class="c1">// old rule: `FromEnv(&lt;Self as Foo&gt;::Item&lt;...&gt;: Bounds) :- FromEnv(Self: Foo)`</span>
<span class="c1">// new rule after #176: `FromEnv(&lt;Self as Foo&gt;::Item&lt;...&gt;: Bounds) :- FromEnv(Self: Foo), FromEnv(WC)`</span>
</pre></div>



<a name="135971525"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135971525" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135971525">(Oct 17 2018 at 13:11)</a>:</h4>
<p><span class="user-mention" data-user-id="131694">@scalexm</span> it looks like your "new rule" is cutoff</p>



<a name="135971537"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135971537" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135971537">(Oct 17 2018 at 13:12)</a>:</h4>
<p>oh, I see, when I copy-and-patse I see it all :)</p>



<a name="135971583"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135971583" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135971583">(Oct 17 2018 at 13:12)</a>:</h4>
<div class="codehilite"><pre><span></span>// new rule after #176:

FromEnv(&lt;Self as Foo&gt;::Item&lt;...&gt;: Bounds) :-
    FromEnv(Self: Foo),
    FromEnv(WC)
</pre></div>



<a name="135971613"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135971613" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135971613">(Oct 17 2018 at 13:13)</a>:</h4>
<p>it feels like the problem is that we have <code>FromEnv(WC)</code></p>



<a name="135971617"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135971617" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135971617">(Oct 17 2018 at 13:13)</a>:</h4>
<p>and not just <code>WC</code></p>



<a name="135971627"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135971627" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135971627">(Oct 17 2018 at 13:13)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> right</p>



<a name="135971633"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135971633" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135971633">(Oct 17 2018 at 13:13)</a>:</h4>
<p>it also feels like it would be <em>ok</em> to just have <code>Implemented(WC)</code> there</p>



<a name="135971653"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135971653" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135971653">(Oct 17 2018 at 13:13)</a>:</h4>
<p>but I've not thought deeply about it</p>



<a name="135971657"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135971657" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135971657">(Oct 17 2018 at 13:13)</a>:</h4>
<p>the main thing is that</p>



<a name="135971659"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135971659" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135971659">(Oct 17 2018 at 13:13)</a>:</h4>
<p>it <em>looks</em> like it'd be ok yes, however I would find the rule a bit "weird", like we don't have any rules <code>FromEnv(...) :-Implemented(...)</code></p>



<a name="135971662"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135971662" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135971662">(Oct 17 2018 at 13:14)</a>:</h4>
<p>the impl does not "provide" those facts</p>



<a name="135971704"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135971704" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135971704">(Oct 17 2018 at 13:14)</a>:</h4>
<p>so we don't need to be sure that they come from the <em>environment</em></p>



<a name="135971711"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135971711" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135971711">(Oct 17 2018 at 13:14)</a>:</h4>
<p>yes I think this is right</p>



<a name="135971718"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135971718" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135971718">(Oct 17 2018 at 13:14)</a>:</h4>
<p>I just hope it would not lead to weird cycles</p>



<a name="135971722"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135971722" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135971722">(Oct 17 2018 at 13:14)</a>:</h4>
<p>it is asymmetric, but i'm arguing why it is different than the other cases :)</p>



<a name="135971727"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135971727" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135971727">(Oct 17 2018 at 13:14)</a>:</h4>
<p>these where clauses are not 'like' the others</p>



<a name="135971730"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135971730" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135971730">(Oct 17 2018 at 13:14)</a>:</h4>
<p>yes I agree</p>



<a name="135971731"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135971731" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135971731">(Oct 17 2018 at 13:14)</a>:</h4>
<p>rather, they are more like where clauses on <em>methods</em></p>



<a name="135971756"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135971756" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135971756">(Oct 17 2018 at 13:15)</a>:</h4>
<p>(but methods don't have implied bounds...)</p>



<a name="135971763"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135971763" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135971763">(Oct 17 2018 at 13:15)</a>:</h4>
<p>(yet...)</p>



<a name="135971834"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135971834" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135971834">(Oct 17 2018 at 13:16)</a>:</h4>
<p>well they might have, the analogy I was drawing in my head was:</p>
<div class="codehilite"><pre><span></span><span class="k">trait</span><span class="w"> </span><span class="n">Foo</span><span class="w"> </span><span class="p">{</span><span class="w"></span>
<span class="w">    </span><span class="k">fn</span> <span class="nf">item</span><span class="o">&lt;</span><span class="n">T</span>: <span class="nc">WC</span><span class="o">&gt;</span><span class="p">()</span><span class="w"> </span>-&gt; <span class="nc">impl</span><span class="w"> </span><span class="n">Bound</span><span class="p">;</span><span class="w"></span>
<span class="p">}</span><span class="w"></span>
</pre></div>



<a name="135971866"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135971866" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135971866">(Oct 17 2018 at 13:17)</a>:</h4>
<p>if we permitted you to "name" this return type...</p>



<a name="135971873"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135971873" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135971873">(Oct 17 2018 at 13:17)</a>:</h4>
<p>...that would be quite analogous indeed</p>



<a name="135971885"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135971885" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135971885">(Oct 17 2018 at 13:17)</a>:</h4>
<p>well I guess you can't name it</p>



<a name="135971886"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135971886" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135971886">(Oct 17 2018 at 13:17)</a>:</h4>
<p>but the point is</p>



<a name="135971888"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135971888" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135971888">(Oct 17 2018 at 13:17)</a>:</h4>
<p>after you call the method</p>



<a name="135971894"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135971894" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135971894">(Oct 17 2018 at 13:17)</a>:</h4>
<p>the value you get back has a type that we "assume" to implement bound</p>



<a name="135971902"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135971902" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135971902">(Oct 17 2018 at 13:18)</a>:</h4>
<p>in effect this is desugaring, of course, to an associated type</p>



<a name="135971950"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135971950" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135971950">(Oct 17 2018 at 13:18)</a>:</h4>
<p>(and I'd hope that eventually we are <em>literally</em> desugaring to that)</p>



<a name="135971992"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135971992" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135971992">(Oct 17 2018 at 13:19)</a>:</h4>
<p>yeah, I think it's ok indeed to just have <code>:- Implemented(Bar)</code></p>



<a name="135972001"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135972001" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135972001">(Oct 17 2018 at 13:19)</a>:</h4>
<p>because as you said this does not come from the <code>Bar</code> trait declaration</p>



<a name="135972004"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135972004" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135972004">(Oct 17 2018 at 13:19)</a>:</h4>
<p>so it seems ok</p>



<a name="135972153"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135972153" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135972153">(Oct 17 2018 at 13:21)</a>:</h4>
<p>ok cool</p>



<a name="135972195"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135972195" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135972195">(Oct 17 2018 at 13:22)</a>:</h4>
<p>I'd like to also ask <span class="user-mention" data-user-id="126804">@Ariel Ben-Yehuda</span> what they think, just in case</p>



<a name="135973025"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%23176/near/135973025" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.23176.html#135973025">(Oct 17 2018 at 13:34)</a>:</h4>
<p>yep, maybe they'll weigh in</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>